| 翻訳と辞書 |
up tack
The up tack or falsum (⊥, \bot in LaTeX, U+22A5 in Unicode〔(【引用サイトリンク】 url=http://www.unicode.org/charts/PDF/U2200.pdf )〕) is a constant symbol used to represent:
* The bottom element in lattice theory
* The bottom type in type theory
* A logical constant denoting contradiction in logic (false)
The glyph of the up tack appears as an upside-down tee symbol, and as such is sometimes called eet (the word "tee" in reverse).
The tee (⊤), also called down tack, plays a complementary or dual role in many of these theories.
The similar-looking perpendicular symbol (⟂, \perp in LaTeX, U+27C2 in Unicode) is a binary relation symbol used to represent:
* Perpendicularity of lines in geometry
* Orthogonality in linear algebra
* Independence of random variables in probability theory
* Comparability in order theory
* Coprimality in number theory
== See also ==
* Tee (symbol) (⊤)
* Table of mathematical symbols
* Alternative plus sign
* List of mathematical symbols
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「up tack」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|